Substitution, elimination and graphing are formal methods. Trial and error is not always efficient and may not yield an exact solution, especially for complex systems.